Revision: tla-tools--hun--0--patch-1
Archive: hun@n-dimensional.de--2004-public
Creator: Hans Ulrich Niedermann <hun@n-dimensional.de>
Date: Wed Mar 24 03:39:44 CET 2004
Standard-date: 2004-03-24 02:39:44 GMT
Modified-files: Makefile.in configure
New-patches: hun@n-dimensional.de--2004-public/tla-tools--hun--0--patch-1
Summary: use install instead of cp
Keywords: install

Consequences:
- sets permissions correctly
- creates directories if necessary
- requires install to be installed
